Time Manager version number